An Extension Theorem with an Application to Formal Tree Series
نویسندگان
چکیده
A grove theory is a Lawvere algebraic theory T for which each hom-set T (n, p) is a commutative monoid; composition on the right distrbutes over all finite sums: ( ∑ i∈F fi) ·h = ∑ i∈F fi ·h. A matrix theory is a grove theory in which composition on the left and right distributes over finite sums. A matrix theory M is isomorphic to a theory of all matrices over the semiring S = M(1, 1). Examples of grove theories are theories of (bisimulation equivalence classes of) synchronization trees, and theories of formal tree series over a semiring S. Our main theorem states that if T is a grove theory which has a matrix subtheory M which is an iteration theory, then, under certain conditions, the fixed point operation on M can be extended in exactly one way to a fixedpoint operation on T such that T is an iteration theory. A second theorem is a Kleene-type result. Assume that T is a iteration grove theory and M is a sub iteration grove theory of T which is a matrix theory. For a given collection Σ of scalar morphisms in T we describe the smallest sub iteration grove theory of T containing all the morphisms in M ∪ Σ. ∗Partially supported by NSF grant 0119916. †Partially supported by NSF grant 0119916 and BRICS.
منابع مشابه
An extension theorem for finite positive measures on surfaces of finite dimensional unit balls in Hilbert spaces
A consistency criteria is given for a certain class of finite positive measures on the surfaces of the finite dimensional unit balls in a real separable Hilbert space. It is proved, through a Kolmogorov type existence theorem, that the class induces a unique positive measure on the surface of the unit ball in the Hilbert space. As an application, this will naturally accomplish the work of Kante...
متن کاملGeneralization of Darbo's fixed point theorem and application
In this paper, an attempt is made to present an extension of Darbo's theorem, and its applicationto study the solvability of a functional integral equation of Volterra type.
متن کاملNew Generalization of Darbo's Fixed Point Theorem via $alpha$-admissible Simulation Functions with Application
In this paper, at first, we introduce $alpha_{mu}$-admissible, $Z_mu$-contraction and $N_{mu}$-contraction via simulation functions. We prove some new fixed point theorems for defined class of contractions via $alpha$-admissible simulation mappings, as well. Our results can be viewed as extension of the corresponding results in this area. Moreover, some examples and an application to funct...
متن کاملAn extension of the Wedderburn-Artin Theorem
In this paper we give conditions under which a ring is isomorphic to a structural matrix ring over a division ring.
متن کاملMATRIX VALUATION PSEUDO RING (MVPR) AND AN EXTENSION THEOREM OF MATRIX VALUATION
Let R be a ring and V be a matrix valuation on R. It is shown that, there exists a correspondence between matrix valuations on R and some special subsets ?(MVPR) of the set of all square matrices over R, analogous to the correspondence between invariant valuation rings and abelian valuation functions on a division ring. Furthermore, based on Malcolmson’s localization, an alternative proof for t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Journal of Automata, Languages and Combinatorics
دوره 8 شماره
صفحات -
تاریخ انتشار 2003